Doron A. Peled: mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (29)
Yang paling populer
Daftar
- Daftar
- Tabel

1

软件可靠性方法

软件可靠性方法

机械工业出版社

（以色列）Doron A. Peled

Tahun:

2012

Bahasa:

chinese

File:

PDF, 21.89 MB

0 / 0

chinese, 2012

2

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Tahun:

1999

Bahasa:

english

File:

DJVU, 1.88 MB

0 / 0

english, 1999

3

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Tahun:

2018

Bahasa:

english

File:

EPUB, 15.52 MB

0 / 5.0

english, 2018

4

Software Reliability Methods

Software Reliability Methods

Tahun:

2001

Bahasa:

english

File:

PDF, 6.07 MB

0 / 4.0

english, 2001

5

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Tahun:

2018

Bahasa:

english

File:

EPUB, 13.56 MB

0 / 0

english, 2018

6

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Tahun:

1999

Bahasa:

english

File:

DJVU, 3.22 MB

0 / 0

english, 1999

7

软件可靠性方法

软件可靠性方法

机械工业出版社

Tahun:

2012

Bahasa:

chinese

File:

PDF, 15.57 MB

0 / 0

chinese, 2012

8

Dependable software systems engineering

Dependable software systems engineering

Alexander Pretschner, Doron A Peled, Thomas Hutzelmann

Tahun:

2017

Bahasa:

english

File:

PDF, 5.26 MB

0 / 0

english, 2017

9

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 3.93 MB

0 / 0

english, 2010

10

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Tahun:

1999

Bahasa:

english

File:

DJVU, 2.13 MB

0 / 0

english, 1999

11

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Natasha Alechina, Brian Logan (auth.), Doron A. Peled, Michael J. Wooldridge (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 2.41 MB

0 / 0

english, 2009

12

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Springer International Publishing

Cyrille Artho, Axel Legay, Doron Peled (eds.)

Tahun:

2016

Bahasa:

english

File:

PDF, 12.70 MB

0 / 0

english, 2016

13

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 9.94 MB

0 / 0

english, 2004

14

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 5.03 MB

0 / 0

english, 1999

15

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 5.00 MB

0 / 0

english, 2010

16

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...

Doron A. Peled, Michael Wooldridge

Tahun:

2009

Bahasa:

english

File:

PDF, 3.68 MB

0 / 0

english, 2009

17

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 2.74 MB

0 / 0

english, 2009

18

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 5.46 MB

0 / 0

english, 2002

19

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 6.80 MB

0 / 0

english, 2004

20

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 4.63 MB

0 / 0

english, 2002

21

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 2.38 MB

0 / 0

english, 2009

22

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 4.01 MB

0 / 0

english, 2010

23

Software Reliability Methods

Software Reliability Methods

Tahun:

2001

Bahasa:

english

File:

DJVU, 2.59 MB

0 / 0

english, 2001

24

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 3.97 MB

0 / 0

english, 2008

25

Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

Model Checking Software: 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Doron Peled, Lenore Zuck (auth.), Matthew Dwyer (eds.)

Tahun:

2001

Bahasa:

english

File:

PDF, 2.90 MB

0 / 0

english, 2001

26

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 7.68 MB

0 / 0

english, 2005

27

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 6.01 MB

0 / 0

english, 2008

28

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Tahun:

2009

Bahasa:

english

File:

PDF, 2.42 MB

0 / 0

english, 2009

29

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 28.47 MB

0 / 0

english, 1999